Мы должны знать все потенциальные ключи, все зависимости соединения в отношении, каждая проекции содержит потенциальный ключ (суперключ)

Не защищает от локальных ошибок. Защищает от нарушения глобальных правил.

Признак нарушения: 3+ атрибута, всё зависит от всего.

если есть 4, то есть и 5 (скорее всего)

Доменно ключевая нормальная формула